#include <stdio.h>
//
extern int a;
int main()
{
	printf("a=%d\n", a);
	return 0;
}